Automating Boundary Filling in Cubical Type Theories
arxiv.org·1d
🔶Cubical Type Theory
PQCSA: A Gentle Introduction to Code Based PKE
esat.kuleuven.be·1d
⚗️Algebraic Coding
(BT) Diversity from (LC) Diversity
golem.ph.utexas.edu·10h
🧮Kolmogorov Complexity
Linear Types for Programmers
twey.io·3d·
Discuss: Hacker News
🔒Linear Types
What you see may not be what you get
thoughtbot.com·3h
🔣Unicode
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·1d
📝Concrete Syntax
Why Computer Science Is No Good, Redux
cacm.acm.org·9h
🎯Performance Proofs
Abhinav Sarkar: A Bytecode VM for Arithmetic: The Parser
abhinavsarkar.net·4d
🔗Functional Compilers
Using Closures to Extend Class Behavior Without Breaking Encapsulation
hackernoon.com·7h
🔬Refinement Types
NeuralMorse – Reinventing Morse Code with Neural Networks
masatohagiwara.net·9h·
Discuss: Hacker News
📝Text Compression
How the Lean language brings math to coding and coding to math
amazon.science·8h·
Discuss: Hacker News
🔬Lean
Design Arts Medias | Designing with Abstractions: CSS and the Case of Masonry Layouts
journal.dampress.org·11h
📖Nordic Typography
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·9h
💧Liquid Types
The Generativity Pattern in Rust
arhan.sh·1d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·2d·
Discuss: Hacker News
💧Liquid Types
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·14h·
Discuss: www.blogger.com
🌳Persistent Data Structures
DNS at IETF 123
potaroo.net·4h
🌐DNS Security
LLMs - Embeddings 01
dev.to·1d·
Discuss: DEV
🧮Vector Embeddings
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Extensions and Shadows (9)
sites.psu.edu·1d
✨Effect Handlers